Runtime Verification of Web Service Interface Contracts
نویسندگان
چکیده
منابع مشابه
Runtime verification of .NET contracts
We propose a method for implementing behavioral interface specifications on the .NET platform. Our interface specifications are expressed as executable model programs. Model programs can be run either as stand-alone simulations or used as contracts to check the conformance of an implementation class to its specification. We focus on the latter, which we call runtime verification. In our framewo...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملContracts, Components, and their Runtime Verification on the .NET Platform
ion () as IDictionary Contract return new IDictionary Contract( {keys(i) 7→ values(i) | i in {0..keys.Length − 1} where keys(i) 6= null} ); AsmL provides a default class constructor for IDictionary Contract that takes a map as argument. Here the map is given in the form of a mapcomprehension. Its value is a map where each maplet (domain-range pair) is constructed from parallel slots in the arra...
متن کاملSuperContra: Cross-Language, Cross-Runtime Lightweight Contracts As a Service
Despite the potential of Design-by-Contract (DbC) for increasing the reliability and robustness of software, it has to date experienced only limited use. One reason for this, is that each DbC solution targets a single language (or language run-time) and thus employs different syntax and implementations for specifying contracts for each. Given that modern applications increasingly employ multipl...
متن کاملSemi-Automated Management of Web Service Contracts
Service-oriented computing as a concept for providing interoperability and flexibility within heterogeneous environments has gained much attention within the last few years. Dynamically integrating external Web services into enterprise applications requires automatic contracting between service requestors and providers and automatic contract monitoring. This paper suggests a semi-automatic appr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 2010
ISSN: 0018-9162
DOI: 10.1109/mc.2010.76